логика программы

логика программы

 

логика программы
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • program logic


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "логика программы" в других словарях:

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • Логика в информатике — Логика в информатике  это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффективна в этих областях[1]. Содержание 1 Область применения …   Википедия

  • Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… …   Википедия

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

  • логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

  • логика прикладная —         ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… …   Энциклопедия эпистемологии и философии науки

  • Программы антикризисных мер правительства России — Принятый правительством РФ в ноябре 2008 года план антикризисных мер, состоявший из 55 мероприятий, к лету 2009 года был практически полностью выполнен. 19 июня 2009 года премьер министр РФ Путин подписал программу антикризисных мер, которая… …   Энциклопедия ньюсмейкеров

  • ЛОГИКА — (греч. logike, от logikos построенный на рассуждении), дисциплина, изучающая формы и законы правильных, т.е. способных служить расширению знания, умственных построений. От Л. как науки следует отличать Л. как связь и динамику логически правильной …   Российская педагогическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»